Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add CI target to check generated code #244

Open
wants to merge 2 commits into
base: main
Choose a base branch
from

Conversation

elezar
Copy link
Member

@elezar elezar commented Feb 14, 2025

This change adds a CI check to ensure that generated code is up to date.

@elezar elezar marked this pull request as ready for review February 14, 2025 20:16
@elezar elezar force-pushed the fix-tooling-versions branch 5 times, most recently from 3092c75 to 402a903 Compare February 15, 2025 12:39
@elezar elezar force-pushed the fix-tooling-versions branch from 402a903 to 0b2da2b Compare February 25, 2025 13:15
@elezar elezar changed the title Fix tooling versions Add CI target to check generated code Feb 25, 2025
@elezar
Copy link
Member Author

elezar commented Feb 25, 2025

@ArangoGutierrez feel free to first merge #246 and then I can rebase this one.

@ArangoGutierrez
Copy link
Collaborator

@ArangoGutierrez feel free to first merge #246 and then I can rebase this one.

#246 is merged, ready to rebase here

@elezar elezar force-pushed the fix-tooling-versions branch from 0b2da2b to 3c56450 Compare February 26, 2025 12:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants